J-L. Krivine; "Théorie axiomatique des ensembles"